61. How to prove it :
پدیدآورنده : / Daniel J. Velleman
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical,Mathematics
رده :
E-BOOK
62. Ideals, Varieties, and Algorithms
پدیدآورنده : by David Cox, John Little, Donal O'Shea.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
63. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
64. Introduction · to Mathematical Structures and · Proofs
پدیدآورنده : by Larry J. Gerstein.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Science (General).
65. Introduction to discrete mathematics via logic and proof /
پدیدآورنده : Calvin Jongsma.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Discrete mathematics.,Discrete mathematics.
رده :
QA297
.
4
66. Introduction to formal philosophy /
پدیدآورنده : Sven Ove Hansson, Vincent F. Hendricks, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.
رده :
B808
.
5
.
I58
2018
67. Introduction to mathematical proofs :
پدیدآورنده : Charles E. Roberts, Jr.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Proof theory, Textbooks.,Beweistheorie,Logic, Symbolic and mathematical.,Matematik.,Mathematik,Proof theory.
رده :
QA9
.
54
.
R63
2010
68. Introduction to proof in abstract mathematics /
پدیدآورنده : Andrew Wohlgemuth, University of Maine.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory.,MATHEMATICS-- General.,MATHEMATICS-- Logic.,Proof theory.
رده :
QA9
.
54
.
W64
2011eb
69. Intuitionism and proof theory; Proceedings of the Summer Conference at Buffalo N. Y. 1968
پدیدآورنده : / edited by A. Kino, J. Myhill, R. E. Vesley
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical - Congresses
رده :
511
.
3
C748
1968
70. Linear logic in computer science
پدیدآورنده : edited by Thomas Ehrhard ... ]et al.[
کتابخانه: (طهران)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical,Mathematics ، Computer science
رده :
QA
9
.
54
.
L563
71. Logic Colloquium' 96 :
پدیدآورنده : edited by Jesús M. Larrazabal, Daniel Lascar, Grigori Mints.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
QA9
.
A1
E358
1998
72. Logic II : proof
پدیدآورنده : prepared by the mathematics foundation course team
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
O6
1971
73. Logic and its applications :
پدیدآورنده : Kamal Lodaya (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical -- Congresses.,Logic.,MATHEMATICS -- Infinity.
رده :
QA9
.
A1
K363
2013
74. Logic in algebraic form; Three languages and theories
پدیدآورنده : Craig, William
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
C7
75. Logic, logic, and logic /
پدیدآورنده : George Boolos ; with introductions and afterword by John P. Burgess ; edited by Richard Jeffrey.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.
رده :
BC51
.
B58
1998
76. Mathematical foundations of computer science 2013 :
پدیدآورنده : Krishnendu Chatterjee, Jirí Sgall, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Computer programming.,Computer science -- Mathematics -- Congresses.
رده :
QA76
.
9
.
M35
K757
9999
77. Mathematical proofs :
پدیدآورنده : Gary Chartrand, Albert D. Polimeni, Ping Zhang
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Proof theory, Textbooks
رده :
QA9
.
54
.
C48
2013
78. Mathematical thinking and writing :
پدیدآورنده : / Randall B. Maddox
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Proof theory,Logic, Symbolic and mathematical
رده :
E-BOOK
79. Mathematical thinking and writing: a transition to abstract mathematics
پدیدآورنده : Maddox, Randall B.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
54
.
M34
2002
80. Mathematical thinking and writing :a transition to abstract mathematics
پدیدآورنده : Maddox, Randall B.
کتابخانه: (طهران)
موضوع : ، Proof theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
54
.
M34
2002
